finite automation recognizable

【計算機】有限自動可識別